Sfoglia per Serie CEUR WORKSHOP PROCEEDINGS
Predicting humans: A sensor-based architecture for real time Intent Recognition using Problog
2021-01-01 Acciaro, G. D.; D(')Asaro, F. A.; Rossi, S.
Preface to the 2nd Workshop on Search, Exploration, and Analysis in Heterogeneous Datastores
2021-01-01 Mottin, Davide; Lissandrini, Matteo; (Senjuti Basu), Roy; Velegrakis, Yannis
Probabilistic typed natural deduction for trustworthy computations
2021-01-01 D(')Asaro, F. A.; Primiero, G.
Proceedings of 1st Workshop on Bias, Ethical AI, Explainability and the Role of Logic and Logic Programming (BEWARE 2022)
2022-01-01 Boella, Guido; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Primiero, Giuseppe
Proceedings of the 2nd Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming
2023-01-01 Boella, Guido; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Gorrieri, Laura; Lisi, Francesca A.; Manganini, Chiara; Primiero, Giuseppe
Proceedings of the 5th Workshop on Advances in Argumentation in Artificial Intelligence 2021 co-located with the 20th International Conference of the Italian Association for Artificial Intelligence (AIxIA 2021), Milan, Italy, November 29th, 2021
2021-01-01 D'Agostino, Marcello; D'Asaro, Fabio Aurelio; Larese, Costanza
Proceedings of the International Conference on Logic Programming 2021 Workshops co-located with the 37th International Conference on Logic Programming {(ICLP} 2021), Porto, Portugal (virtual), September 20th-21st, 2021
2021-01-01 Arias, Joaqu('(i))n; D'Asaro, Fabio Aurelio; Dyoub, Abeer; Gupta, Gopal; Hecher, Markus; Leblanc, Emily; Pe(~(n))aloza, Rafael; Salazar, Elmer; Saptawijaya, Ari; Weitkamper, Felix; Zangari, Jessica
A process calculus approach to correctness enforcement of PLCs
2020-01-01 Lanotte, Ruggero; Merro, Massimo; Munteanu, Andrei
Proof-checking Bias in Labeling Methods
2022-01-01 Primiero, G.; D'Asaro, F. A.
Ride-Sharing in Medical Transportations: Dealing with Temporal Requirements
2024-01-01 Beltrame, GIOVANNI ALBERTO; Combi, Carlo; Farinelli, Alessandro; Posenato, Roberto; Pozzi, Giuseppe
Rule-based Shield Synthesis for Partially Observable Monte Carlo Planning
2021-01-01 Mazzi, Giulio; Castellini, Alberto; Farinelli, Alessandro
Security Analysis of the OWASP Benchmark with Julia
2017-01-01 Ferrara, Pietro; Burato, Elisa; Spoto, Nicola Fausto
Semantic information elicitation from unstructured medical records
2006-01-01 Ruffolo, M.; Cozza, V.; Gallucci, L.; Manna, Marco; Pizzonia, M.
Sisinflab: An ensemble of supervised and unsupervised strategies for the NEEL-IT challenge at Evalita 2016
2016-01-01 Cozza, V.; Bruna, W. L.; Di Noia, Tommaso
Static Analysis for GDPR Compliance
2018-01-01 Ferrara, Pietro; Spoto, Nicola Fausto
Strong Controllability of Temporal Networks with Decisions
2020-01-01 Zavatteri, Matteo; Rizzi, Romeo; Villa, Tiziano
Tabular Model Learning in Monte Carlo Tree Search
2023-01-01 Castellini, Alberto; Bragantini, Davide; Rossignolo, Davide; Segala, Federico; Farinelli, Alessandro
Tackling different business process perspectives modeling data, time, and decisions in BPMN processes
2019-01-01 Zerbato, F.
Temporal and Resource Controllability of Workflows Under Uncertainty
2019-01-01 Zavatteri, Matteo
Towards a logic-based approach for multi-modal fusion and decision making during motor rehabilitation sessions
2019-01-01 D?asaro, F. A.; Origlia, A.; Rossi, S.
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile